|
|
Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
| 1. | Logic and structure / Dirk van Dalen. — 5th ed. | 2013 |
|
| 2. | Logics of specification languages / Dines Bjørner, Martin C. Henson, editors. | 2008 |
|
| 3. | Logic-based artificial intelligence / edited by Jack Minker. | 2000 |
|
| 4. | Descriptive complexity / Neil Immerman. | 1999 |
|
| 5. | A textbook of belief dynamics : theory change and database updating / by Sven Ove Hansson. | 1999 |
|
| 6. | Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. — 2nd ed. | 1998 |
|
| 7. | Essence of logic / John J. Kelly. | 1997 |
|
| 8. | Applied logic / Kaj Børge Hansen. | 1996 |
|
| 9. | Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos. | 1996 |
|
| 10. | Logic and its applications / Edmund Burke and Eric Foxley. | 1996 |
|
| 11. | The Imperative future : principles of executable temporal logic / edited by Howard Barringer ... [et al.]. | 1996 |
|
| 12. | First-order logic and automated theorem proving / Melvin Fitting. — 2nd ed. | 1996 |
|
| 13. | Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle. | 1995 |
|
| 14. | Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek. | 1995 |
|
| 15. | Logic and visual information / Eric M. Hammer. | 1995 |
|
| 16. | The semantic foundations of logic / Richard L. Epstein. — 2nd. edition. | 1995 |
|
| 17. | Language in action : categories, lambdas, and dynamic logic / Johan van Benthem. — 1st MIT Press ed. | 1995 |
|
| 18. | Discrete structures, logic, and computability / James L. Hein. | 1995 |
|
| 19. | Meta-logics and logic programming / edited by Krzysztof R. Apt and Franco Turini. | 1995 |
|
| 20. | Logic and information flow / edited by Jan van Eijck and Albert Visser. | 1994 |
|